Kim Guldstrand Larsen: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (17)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Principles of Model Checking

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Рік:

2008

Мова:

english

Файл:

PDF, 17.08 MB

0 / 5.0

english, 2008

2

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Рік:

2007

Мова:

english

Файл:

PDF, 1.86 MB

0 / 5.0

english, 2007

3

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Tim Willemse

Рік:

2019

Мова:

english

Файл:

PDF, 10.09 MB

0 / 0

english, 2019

4

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

Springer-Verlag Berlin Heidelberg

Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

Рік:

2015

Мова:

english

Файл:

PDF, 10.50 MB

0 / 0

english, 2015

5

Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Рік:

2007

Мова:

english

Файл:

PDF, 1.97 MB

0 / 0

english, 2007

6

Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

Cambridge University Press

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jiri Srba

Рік:

2007

Мова:

english

Файл:

PDF, 1.92 MB

0 / 0

english, 2007

7

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.)

Рік:

2016

Мова:

english

Файл:

PDF, 5.17 MB

0 / 0

english, 2016

8

Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

Mohammad Shahidehpour, Kim Guldstrand Larsen, Somayeh Asadi, Behnam Mohammadi-ivatloo, Amjad Anvari-Moghaddam

Рік:

2020

Мова:

english

Файл:

PDF, 37.26 MB

0 / 5.0

english, 2020

9

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part II

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Рік:

2021

Мова:

english

Файл:

PDF, 13.20 MB

0 / 5.0

english, 2021

10

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Part I

Jan Friso Groote, Kim Guldstrand Larsen, (eds.)

Рік:

2021

Мова:

english

Файл:

PDF, 8.58 MB

0 / 5.0

english, 2021

11

The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Рік:

2008

Мова:

english

Файл:

PDF, 17.06 MB

0 / 0

english, 2008

12

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Springer International Publishing

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)

Рік:

2017

Мова:

english

Файл:

PDF, 10.61 MB

0 / 0

english, 2017

13

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.62 MB

0 / 0

english, 2004

14

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 9.30 MB

0 / 0

english, 2002

15

Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)

Рік:

1995

Мова:

english

Файл:

PDF, 11.61 MB

0 / 0

english, 1995

16

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 5.01 MB

0 / 0

english, 2002

17

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)

Рік:

2004

Мова:

english

Файл:

PDF, 3.06 MB

0 / 0

english, 2004